✓ Formal Verification - hello · Scour

Lessons from Formally Verified Deployed Software Systems (Extended version)

arxiv.org·14h

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·7h

🔬Static Analysis

Use of Assertions

blog.regehr.org·4h

From logical reasoning to code in C and PHP

dev.to·8h·

Discuss: DEV

Gödel, Turing, and AI： the Incomplete Space in Post-AI Architecture

jimiwen.substack.com·18h·

Discuss: Substack

🔀Procedural Generation

**Abstract:** This research proposes a novel system, the Recursive Proof Verification Engine (RPVE), that dramatically accelerates the verification of theore...

freederia.com·1d

🧮SMT Solvers

Type-safe eval in Grace

haskellforall.com·1d·

Discuss: Lobsters, Hacker News

🎯Escape Analysis

Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings

arxiv.org·14h

✅Model Checking

Rust async combinators for elegant and secure concurrency

kerkour.com·13h·

Discuss: r/rust

Using Haskell in Production

agentultra.com·16h

Subterms Modulo Theories I

philipzucker.com·2d

🔍Type Inference

A Deep Dive into TypeScript Type Assertions: From Basics to Advanced Patterns

typescriptworld.com·1d·

Discuss: DEV

Binary Algorithms

exystence.net·18h

⏭️Skip Lists

Simplex, a workflow specification language for autonomous agents

github.com·22h·

Discuss: Hacker News

🎭Program Synthesis

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·7h

🦀Rust Macros

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·1d

⏰Lamport Clocks

GNU C Language Manual

gnu.org·44s

🔨Compiler Design

CodeSOD: Well Timed Double Checking

thedailywtf.com·1d

🔓Binary Exploitation

Introducing VulHunt: A High-Level Look at Binary Vulnerability Detection

binarly.io·21h

📊Criterion.rs

New comment by Rochus in "Lies, Damned Lies and Proofs: Formal Methods Are Not Slopless"

news.ycombinator.com·4d·

Discuss: Hacker News

🌊CALM Theorem

Loading more...